Dynamic Update of Discrete Event Controllers
نویسندگان
چکیده
منابع مشابه
Controllers for Discrete Event Systems
We study the problem of synthesising controllers for discrete event systems. Traditionally this problem is tackled in a linear time setting. Moreover, the desired subset of the computations of the uncontrolled system (often called a plant) is speciied by automata theoretic means. Here we formulate the problem in a branching time framework. We use a class of labelled transition systems to model ...
متن کاملDiscrete Event Approximation of Continuous Controllers
This paper introduces Quantized-State Control, a method for the digital asynchronous implementation of controllers designed in continuous time. Through the quantization of its state and input variables the original continuous controller is mapped into a discrete event system within the DEVS formalism framework that can be implemented in a digital device. It is shown that, under certain conditio...
متن کاملBranching time controllers for discrete event systems
We study the problem of synthesizing controllers for discrete event systems in a branching time framework. We use a class of labelled transition systems to model both plants and speci,cations. We use ,rst simulations and later bisimulations to capture the role of a controller; the controlled behaviour of the plant should be related via a simulation (bisimulation) to the speci,cation. For both s...
متن کاملA Comparative Study of Synthesis Methods for Discrete Event Controllers
The purpose of this paper is to illustrate and compare some of the existing synthesis methods for discrete event controllers. We do this by means of examples which might provide greater insight on the descriptive power of the methods, and their capabilities for handling various types of speciications.
متن کاملSynthesis of Discrete-Event Controllers Based on the Signal Environment
HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Software Engineering
سال: 2020
ISSN: 0098-5589,1939-3520,2326-3881
DOI: 10.1109/tse.2018.2876843